Some Results on Measure Independent Godel Speed-Ups
نویسنده
چکیده
Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at http://www.jstor.org/about/terms.html. JSTOR's Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the JSTOR archive only for your personal, non-commercial use. Please contact the publisher regarding any further use of this work. Publisher contact information may be obtained at http://www.jstor.org/journals/asl.html. Each copy of any part of a JSTOR transmission must contain the same copyright notice that appears on the screen or printed page of such transmission.
منابع مشابه
Ambrosius Barth 1993 Measure Independent G 6 del Speed - Ups and the Relative Difficulty of Recognizing Sets
We provide and interpret a new measure independent characterization of the G6del speed-up phenomenon. In particular, we prove a theorem that demonstrates the indifference of the concept of a measure independent G6del speed-up to an apparent weakening of its definition that is obtained by requiring only those measures appearing in some fixed Blum complexity measure to participate in the speed-up...
متن کاملComparison of Endurance, Agility, and Strength in Elite Hockey and Soccer 9 Year-Old Players
Background. Regardless of the age, elite athletes exhibit various motor capabilities (e.g., speed; endurance; strength) that are specific to that particular sport. Objectives. The purpose of this study was to compare different aspects of physical fitness (agility, strength, endurance) in thirty, 9 year old elite soccer and hockey players. Methods. Participants completed a 90 minute familiariz...
متن کاملOn parallel local search for permutations
We investigate some ways in which massively parallel computing devices can be exploited in local search algorithms. We show that the substantial speed-ups that can be gained from parallel neighbourhood evaluation enables an efficient best improvement local search, and that this in turn enables further speed-ups through selection and parallel application of a set of independent, improving moves....
متن کاملThe GoDeL Planning System: A More Perfect Union of Domain-Independent and Hierarchical Planning
One drawback of Hierarchical Task Network (HTN) planning is the difficulty of providing complete domain knowledge, i.e., a complete and correct set of HTN methods for every task. To provide a principled way to overcome this difficulty, we define a simple formalism that extends classical planning to include problem decomposition using methods, and a planning algorithm based on this formalism. In...
متن کاملStrength Training and Kinematics Parameters of Gait in Healthy Female Elderly
Objectives: This study was under taken to consider the effect of strength training on some kinematics parameters of gait (step length, cadence and speed walking). Methods & Materials: Twenty-four healthy elderly women (with average and standard deviation age of 61.53±2.84 years, height of 157.1±5.5 cm, weight of 69.13±7.6 kg and BMI 28.1±3.6 kg/m) participated in this study. The strength of ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Symb. Log.
دوره 43 شماره
صفحات -
تاریخ انتشار 1978